(第2空)用白盒测试方法对下图所示的程序进行测试，设计了4个测试用例：①(x = 0, y=3)、②(x=l，y = 2)、③(x = -l，y = 2)和④(x = 3，y=l)。测试用例①②实现了( ) 覆盖：若要完成路径覆盖，则可用测试用例( )。